A Uni ed Approach for Studying Discrete and Continuous Dynamical Systems

The goal of this paper is to present discrete transi tion systems and continuous dynamical systems in a uniform manner stressing the fundamental di erences as well as the commonalities between these two fun damental models Such a framework seems to be a pre requisite to any theory and methodology for hy brid systems For both types of systems we introduce three models a closed system a system with one type of input and a system with two types of input such that the problems associated with them correspond re spectively to the tasks of simulation veri cation and control synthesis We will discuss some of the computa tional problems associated with building control CAD tools that carry these tasks